(DEFPROP EDITMACROS (NIL (MAKEFN (EX ARGS N M) (IF (QUOTE M) ((BI N M) (LC . N) (BELOW \)) ((IF (QUOTE N) ((BI N→
) (LC . N) (BELOW \))))) (E (MAPC (QUOTE (LAMBDA (X Y) (EDITDSUBST X Y (##)))) (QUOTE ARGS) (CDR (QUOTE EX))) T)→
 (E (PUTPROP (CAR (QUOTE EX)) (CONS (QUOTE LAMBDA) (CONS (QUOTE ARGS) (##))) (QUOTE EXPR)) T) UP (1 EX)) (REPACK→
 X (LC . X) REPACK) (REPACK NIL (IF (CONSP (##)) (1) NIL) (I : (PRINT (READLIST (EDITE (EXPLODE (##)) NIL NIL)))→
)) (NEX (X) (BELOW X) NX) (NEX NIL (BELOW ←) NX) (THIRD X (ORR ((LC . X) (LC . X) (LC . X)))) (SECOND X (ORR ((L→
C . X) (LC . X))))) VALUE) 

(DEFPROP USERMACROS (NIL) VALUE) 

(DEFPROP EDITOPS (NIL (INSERT (BEFORE AFTER FOR) (EDIT: #2 #3 #1)) (REPLACE (WITH BY) (EDIT: : #1 #3)) (CHANGE (→
TO) (EDIT: : #1 #3)) (DELETE NIL (EDIT: : #1 NIL)) (EMBED (IN WITH) (EDITMBD #1 #3)) (SURROUND (WITH IN) (EDITMB→
D #1 #3)) (MOVE (TO) (EDITMV #1 (CAR #3) (CDR #3))) (EXTRACT (FROM) (EDITXTR #3 #1))) VALUE) 

(DEFPROP EDITRACEFN (NIL) VALUE) 

(DEFPROP LASTWORD (NIL) VALUE) 

(DEFPROP MAXLEVEL (NIL . 300) VALUE) 

(DEFPROP UPFINDFLG (NIL . T) VALUE) 

(DEFPROP MAXLOOP (NIL . 30) VALUE) 

(DEFPROP EDITCOMSL (NIL S R E I N P F FS F= ORF BF NTH IF RI RO LI LO BI BO M NX BK ORR MBD XTR THRU TO A B : AF→
TER BEFORE FOR MV LP LPQ LC LCL ← BELOW SW BIND COMS COMSQ INSERT REPLACE CHANGE DELETE EMBED SURROUND MOVE EXTR→
ACT SECOND THIRD NEX REPACK MAKEFN) VALUE)